Automated Regression Test Suite Optimization via Dynamic Prioritization and Adaptive Sampling
dev.to·18h·
Discuss: DEV
🔍Concolic Testing
Signal Relays
pzuraq.com·16h·
Discuss: Hacker News
✨Effect Handlers
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·17h·
Discuss: Hacker News
⚡Proof Automation
Is AI Taking Over Testing? Here’s Why Human Insight Still Matters
blog.scottlogic.com·1d
🔍Concolic Testing
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
Fuzz-testing Go HTTP services
packagemain.tech·1d·
Discuss: r/golang
🧪Binary Fuzzing
The Cost of Winning:How RL Training on Poker Leads to Evil LLMs
tobysimonds.com·10h·
Discuss: Hacker News
🔲Cellular Automata
A better for loop?
cirw.in·1d
🦀Rust Macros
How HackerOne Uses AI to Triage, Prioritize, and Validate Code Scanner Findings at Scale
hackerone.com·1d
⚡Proof Automation
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·1d·
Discuss: Hacker News
🔍Concolic Testing
Lobsters Interview with Matklad
lobste.rs·19h·
Discuss: Lobsters
🦀Rust Macros
Don't feed me AI slop
seangoedecke.com·9h
📰RSS Archaeology
UnderColor’s spiral challenge from 1984 – part 3
subethasoftware.com·1d
📺VT100
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·13h
🔲Cellular Automata
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·16h·
Discuss: Hacker News
⚡Dependent Rust
Don't Repeat Yourself, Coarse-Grained Circuit Deduplication to Accelerate Sim
danglingpointers.substack.com·18h·
Discuss: Substack
🖥️Game Emulation
Creating an AI Agent in Claude Code to Control my Smartphone
dev.to·13h·
Discuss: DEV
⚡Proof Automation
12 Best DevSecOps Tools for Your CI/CD Pipeline
boostsecurity.io·17h
🛡️CLI Security
A Better Vocabulary for Testing
alperenkeles.com·6d·
Discuss: Lobsters, r/compsci, r/programming
🔍Concolic Testing
Open Source AI Is Chaotic, Improve ROI With This 4-Step Playbook
thenewstack.io·18h
🏠Homelab Pentesting